20 research outputs found

    Augmenting graphs to minimize the diameter

    Full text link
    We study the problem of augmenting a weighted graph by inserting edges of bounded total cost while minimizing the diameter of the augmented graph. Our main result is an FPT 4-approximation algorithm for the problem.Comment: 15 pages, 3 figure

    Verification of connection-management protocols

    No full text

    Synchronous link-level protocols

    No full text

    Verification of connection-management protocols

    No full text

    Minimum hop route maintenance in static and dynamic networks

    No full text

    Assertional verification of a termination detection algorithm

    No full text

    Assertional verification of a termination detection algorithm

    No full text

    Self-stabilizing l-Exclusion Algorithms

    No full text
    corecore